1. Abstract compositional analysis of iterated relations :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Abstract data types (Computer science) ; System analysis. ; Electronic data processing ; Structured techniques. ;
2. Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems
پدیدآورنده : Geurts, Frederic
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Abstract data types )Computer science(,، System analysis,، Electronic data processing -- Structured techniques
رده :
QA
76
.
L28
Vol
.
1426